well-formed formula

  • 网络合式公式;合适的方程式;构式

well-formed formulawell-formed formula

well-formed formula

合式公式

例 如指令的合式公式well-formed formula) 为: ; { } c { ′ } Δ Σ Ψ Ψ , 在程序规范 Δ 和结构类型环境 下, 在每个程序点从 …

合适的方程式

联谊的英语翻译,联谊用英文怎么说 -... ... 1. well-formed formula合适的方程式 2. Western Frontier Force; 西部边境部队 ...

构式

构式well-formed formula)。真值函数是什麽?

分式母式

分式母式(well-formed formula)正在pltl中的界说如主:伏尾,企业按照从身的独特之处败坐下效的执止步伐,并形败一类企业 …

完构语式

不须提供基本的运算 (operations),而 完全是以「完构语式」(well-formed formula) 来说明查询所要的是 “什 麽”。 Frank S.C. T…

合适公式

... goal well-formed formula 目标合适公式 合适公式 well-formed formula 目标合适公式 goal well-formed formula;goal wff ...

热词推荐